1. Admissible sets and structures
پدیدآورنده: / by Jon Barwise
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA9
،.
B379
1975
2. Handbook of mathematical logic
پدیدآورنده: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
3. Handbook of mathematical logic
پدیدآورنده: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
4. Handbook of mathematical logic
پدیدآورنده: / edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
,.
H32
5. Logical reasoning with diagram
پدیدآورنده: / edited by Gerard Allwein and Jon Barwise
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Knowledge representation (Information theory),Logic, Symbolic and mathematical--Charts, diagrams, etc
رده :
QA9
,.
L624
,
1996eb
6. Studies in model theor
پدیدآورنده: ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Model theory
رده :
QA
.
M67
9
.
7
7. Studies in model theory
پدیدآورنده: )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
S78
8. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
9. The Syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Infinitary languages
رده :
QA
9
.
S95
1968
10. The Syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Infinitary languages
رده :
QA
3
.
L28
Vol
.
72
11. The syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Infinitary languages
رده :
QA
1
.
L4
v
.
72
12. The syntax and semantics of infinitary languages
پدیدآورنده: edited by Jon Barwise
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Infinitary languages
رده :
QA
3
.
L28
no
.
72
